Skip to content

[Documentation:Autograding] small edits to seccomp page#681

Merged
bmcutler merged 1 commit into
mainfrom
seccomp
Jun 8, 2025
Merged

[Documentation:Autograding] small edits to seccomp page#681
bmcutler merged 1 commit into
mainfrom
seccomp

Conversation

@bmcutler

@bmcutler bmcutler commented Jun 8, 2025

Copy link
Copy Markdown
Member

No description provided.

@github-project-automation github-project-automation Bot moved this to Seeking Reviewer in Submitty Development Jun 8, 2025
@bmcutler bmcutler merged commit 1117160 into main Jun 8, 2025
3 checks passed
@bmcutler bmcutler deleted the seccomp branch June 8, 2025 16:56
@github-project-automation github-project-automation Bot moved this from Seeking Reviewer to Done in Submitty Development Jun 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant